Skip to content

Remove deprecated %external extension#8376

Merged
cknitt merged 2 commits intomasterfrom
remove-external-extension
Apr 21, 2026
Merged

Remove deprecated %external extension#8376
cknitt merged 2 commits intomasterfrom
remove-external-extension

Conversation

@cknitt
Copy link
Copy Markdown
Member

@cknitt cknitt commented Apr 20, 2026

%external was deprecated for ReScript 12 in #6906.

This PR removes it.

@pkg-pr-new
Copy link
Copy Markdown

pkg-pr-new Bot commented Apr 20, 2026

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript@8376

@rescript/darwin-arm64

npm i https://pkg.pr.new/@rescript/darwin-arm64@8376

@rescript/darwin-x64

npm i https://pkg.pr.new/@rescript/darwin-x64@8376

@rescript/linux-arm64

npm i https://pkg.pr.new/@rescript/linux-arm64@8376

@rescript/linux-x64

npm i https://pkg.pr.new/@rescript/linux-x64@8376

@rescript/runtime

npm i https://pkg.pr.new/@rescript/runtime@8376

@rescript/win32-x64

npm i https://pkg.pr.new/@rescript/win32-x64@8376

commit: 20806f6

@cknitt cknitt enabled auto-merge (squash) April 20, 2026 14:52
@cknitt cknitt merged commit 28a0123 into master Apr 21, 2026
43 of 44 checks passed
@cknitt cknitt deleted the remove-external-extension branch April 21, 2026 06:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants